منابع مشابه
Idempotents in intensional type theory
We study idempotents in intensional Martin-Löf type theory, and in particular the question of when and whether they split. We show that in the presence of propositional truncation and Voevodsky’s univalence axiom, there exist idempotents that do not split; thus in plain MLTT not all idempotents can be proven to split. On the other hand, assuming only function extensionality, an idempotent can b...
متن کاملIdempotents in Compact Semigroups and Ramsey Theory
We shall show here that van der Waerden’s theorem on arithmetic progressions and its variants, the Hales-Jewett theorem ([HJ]), the theorem of T. J. Carlson and S. G. Simpson ([CS]), and the theorem of T. J. Carlson (theorem 2 of [C]), can be obtained by an analysis of idempotents in compact semigroups. We obtain in this way a sharpening of Carlson’s result (which provides an “infinite” version...
متن کاملClifford Theory for Cocentral Extensions
The classical Clifford correspondence for normal subgroups is considered in the more general setting of semisimple Hopf algebras. We prove that this correspondence still holds if the extension determined by the normal Hopf subalgebra is cocentral.
متن کاملClifford Theory for Association Schemes
Clifford theory of finite groups is generalized to association schemes. It shows a relation between irreducible complex characters of a scheme and a strongly normal closed subset of the scheme. The restriction of an irreducible character of a scheme to a strongly normal closed subset coniatns conjugate characters with same multiplicities. Moreover some strong relations are obtained.
متن کاملClifford theory for tensor categories
A graded tensor category over a group G will be called a strongly G-graded tensor category if every homogeneous component has at least one invertible object. Our main result is a description of the module categories over a strongly G-graded tensor category as induced from module categories over tensor subcategories associated with the subgroups of G.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Commentarii Mathematici Helvetici
سال: 1983
ISSN: 0010-2571,1420-8946
DOI: 10.1007/bf02564626